Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
811	PDF Document Add to Reading List Source URL: www.kornai.com Language: English - Date: 1998-12-03 13:07:54 Models of computation Formal languages Mathematics Year of birth missing Finite-state machine Finite state transducer Kornai Mehryar Mohri Formal verification Automata theory Theoretical computer science Applied mathematics
812	PDF Document Add to Reading List Source URL: www.csee.umbc.edu Language: English - Date: 2008-09-16 22:24:39 Formal methods Philosophy of mathematics Theoretical computer science Mathematical proof Formal verification Theorem Richard J. Lipton Algorithm Mathematical beauty Mathematics Logic Mathematical logic
813	PDF Document Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-06-14 18:03:24 Application programming interfaces Parallel computing Model checking MPICH Thread Message Passing Interface ISP Formal Verification Tool Computing Computer programming Software
814	PDF Document Add to Reading List Source URL: apotheca.hpl.hp.com Language: English - Date: 1999-01-04 14:36:58 Software development Extended static checking Program analysis Formal verification Type system ESC/Java Programming language Modula-3 Software bug Software engineering Computing Formal methods
815	PDF Document Add to Reading List Source URL: www.easychair.org Language: English - Date: 2006-10-20 11:59:18 Theoretical computer science Automated theorem proving Formal methods Philosophy of mathematics Logic in computer science Automated reasoning Formal verification Mathematical logic Formal proof Mathematics Logic Applied mathematics
816	PDF Document Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:28 Applied mathematics Logic in computer science Dependently typed programming Type theory Automated theorem proving Proof-carrying code Formal verification Automated proof checking Frank Pfenning Formal methods Theoretical computer science Mathematics
817	PDF Document Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:17:10 Applied mathematics Logic in computer science Formal verification BCS-FACS Model checking Communicating sequential processes Formal specification Abstraction Steve Reeves Formal methods Theoretical computer science Computing
818	PDF Document Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2009-02-16 14:50:09 Mathematics Formal methods Semantics of programming languages Operational semantics Programming language Formal verification Compiler correctness Axiomatic semantics Logic Theoretical computer science Logic in computer science Software engineering
819	PDF Document Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2002-08-09 18:00:25 Applied mathematics Automata theory Computing Formal methods Stateflow Simulink Finite-state machine State transition system Formal verification Visual programming languages Models of computation Theoretical computer science
820	PDF Document Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2001-09-03 20:28:21 Programming paradigms Abstraction Data management Object-oriented programming Actor model C++ Formal verification Assembly language Interface Software engineering Computing Computer programming